In a naïve realist approach to reading an ontology off the models of a physical theory, the invariance of a given theory under permutations of its property-bearing objects entails the existence of distinct possible worlds from amongst which the theory cannot choose. A brand of Ontic Structural Realism attempts to avoid this consequence by denying that objects possess primitive identity, and thus worlds with property values permuted amongst those objects are really one and the same world. Assuming that any successful (...) ontology of objects is able to describe a universe containing a determinate number of them, I argue that no version of OSR which both retains objects and understands ‘structure’ in terms of relations can be successful. This follows from the fact that no set of relational facts is sufficient to fix the cardinality of the collection of objects implied by those facts. More broadly, I offer reasons to believe that no version of OSR is compatible with the existence of objects, no matter how ontologically derivative they are taken to be. Any such account would have to attribute a definite cardinality to a collection of objects while denying that those objects are possessed of a primitive identity. With no compelling reason to abandon the classical conception of cardinality, such an attribution is incoherent. (shrink)

Scientific practice involves two kinds of induction. In one, generalizations are drawn about the states of a particular system of variables. In the other, generalizations are drawn across systems in a class. We can discern two questions of correctness about both kinds of induction: what distinguishes those systems and classes of system that are ‘projectible’ in Goodman’s sense from those that are not, and what are the methods by which we are able to identify kinds that are likely to be (...) projectible? In answer to the first question, numerous theories of ‘natural kinds’ have been advanced, but none has satisfactorily addressed both questions simultaneously. I propose a shift in perspective. Both essentialist and cluster property theories have traditionally characterized kinds directly in terms of the causally salient properties their members possess. Instead, we should focus on ‘dynamical symmetries’, transformations of a system to which the causal structure of that system is indifferent. I suggest that to be a member of natural kind it is necessary and sufficient to possess a particular collection of dynamical symmetries. I show that membership in such a kind is in turn necessary and sufficient for the presence of the sort of causal structure that accounts for success in both kinds of induction, thus demonstrating that has been answered satisfactorily. More dramatically, I demonstrate that this new theory of ‘dynamical kinds’ provides an answer to with methodological implications concerning the discovery of projectible kinds. (shrink)

It has been suggested that puzzles in the interpretation of quantum mechanics motivate consideration of entities that are numerically distinct but do not stand in a relation of identity with themselves or non-identity with others. Quite apart from metaphysical concerns, I argue that talk about such entities is either meaningless or not about such entities. It is meaningless insofar as we attempt to take the foregoing characterization literally. It is meaningful, however, if talk about entities without identity is taken as (...) elliptical for either nominal or predicative use of a special class of mass terms. (shrink)

Scientists routinely solve the problem of supplementing one’s store of variables with new theoretical posits that can explain the previously inexplicable. The banality of success at this task obscures a remarkable fact. Generating hypotheses that contain novel variables and accurately project over a limited amount of additional data is so difficult—the space of possibilities so vast—that succeeding through guesswork is overwhelmingly unlikely despite a very large number of attempts. And yet scientists do generate hypotheses of this sort in very few (...) tries. I argue that this poses a dilemma: either the long history of scientific success is a miracle, or there exists at least one method or algorithm for generating novel hypotheses with at least limited projectibility on the basis of what’s available to the scientist at a time, namely a set of observations, the history of past conjectures, and some prior theoretical commitments. In other words, either ordinary scientific success is miraculous or there exists a logic of discovery at the heart of actual scientific method. (shrink)

The history of design arguments stretches back to before Aquinas, who claimed that things which lack intelligence nevertheless act for an end to achieve the best result. Although science has advanced to discredit this claim, it remains true that many biological systems display remarkable adaptations of means to ends. Versions of design arguments have persisted over the centuries and have culminated in theories that propose an intelligent designer of the universe. This volume is the only comprehensive survey of 2,000 years (...) of debate, drawing on both historical and modern literature to identify, clarify and assess critically the many forms of design argument for the existence of God. It provides a neutral, informative account of the topic from antiquity to Darwin, and includes concise primers on probability and cosmology. It will be of great value to upper-level undergraduates and graduates in philosophy of religion, theology, and philosophy of science. (shrink)

Despite their centrality to the scientific enterprise, both the nature of scientific variables and their relation to inductive inference remain obscure. I suggest that scientific variables should be viewed as equivalence classes of sets of physical states mapped to representations (often real numbers) in a structure preserving fashion, and argue that most scientific variables introduced to expand the degrees of freedom in terms of which we describe the world can be seen as products of an algorithmic inductive inference first identified (...) by William W. Rozeboom. This inference algorithm depends upon a notion of natural kind previously left unexplicated. By appealing to dynamical kinds—equivalence classes of causal system characterized by the interventions which commute with their time evolution—to fill this gap, we attain a complete algorithm. I demonstrate the efficacy of this algorithm in a series of experiments involving the percolation of water through granular soils that result in the induction of three novel variables. Finally, I argue that variables obtained through this sort of inductive inference are guaranteed to satisfy a variety of norms that in turn suit them for use in further scientific inferences. (shrink)

I introduce a new method for validating models—including stochastic models—that gets at the reliability of a model’s predictions under intervention or manipulation of its inputs and not merely at its predictive reliability under passive observation. The method is derived from philosophical work on natural kinds, and turns on comparing the dynamical symmetries of a model with those of its target, where dynamical symmetries are interventions on model variables that commute with time evolution. I demonstrate that this method succeeds in testing (...) aspects of model validity for which few other tools exist. (shrink)

Most attempts to answer the question of whether populations of groups can undergo natural selection focus on properties of the groups themselves rather than the dynamics of the population of groups. Those approaches to group selection that do emphasize dynamics lack an account of the relevant notion of equivalent dynamics. I show that the theory of ‘dynamical kinds’ I proposed in Jantzen :3617–3646, 2014) can be used as a framework for assessing dynamical equivalence. That theory is based upon the notion (...) of a dynamical symmetry, a transformation of a system that commutes with its evolution through time. In the proposed framework, structured sets of dynamical symmetries are used to pick out equivalence classes of systems. These classes are large enough to encompass the range of phenomena we associate with natural selection, yet restrictive enough to guarantee a sort of causal homogeneity. By characterizing dynamical kinds via symmetry structures in this way, the question of levels of selection becomes a precise question about which populations respect the dynamical symmetries of Darwinian evolution. Standard population genetic models suggest that populations undergoing evolution by natural selection are partially characterized by a group of fitness-scaling symmetries. I demonstrate conditions under which these symmetries may be satisfied by populations of individuals, populations of groups of individuals, or both simultaneously. (shrink)

Framed as a critique of David Hume’s analysis of miracles, Peirce offers a sustained argument against an approach to historical inference he calls the “Method of Balancing Likelihoods‘ (MBL). In MBL the posterior probability that a disputed historical event has occurred is computed on the basis of the prior probability of that event occurring and the probability that each purported witness of the event has given accurate testimony. Peirce’s critique of this method is hierarchical: he denies that an objective probability (...) obtains for the truthfulness of witness testimony. Conceding this point, he asserts that, even if such objective probabilities exist, it is implausible to believe that witnesses are independent of one another. Conceding the first two points, Peirce argues that the very sampling process inherent to history necessarily introduces a strong probabilistic dependence that makes MBL unreliable. Finally, irrespective of the success of his first three criticisms, Peirce argues that MBL can be shown by empirical means to fail as a reliable method of inference. I reconstruct this hierarchical critique from a handful of Peirce’s manuscripts, and emphasize its continuing relevance for modern accounts of judgment aggregation. (shrink)

Philosophers of science have long been concerned with the question of what a given scientific theory tells us about the contents of the world, but relatively little attention has been paid to how we set out to build theories and to the relevance of pre-theoretical methodology on a theory’s interpretation. In the traditional view, the form and content of a mature theory can be separated from any tentative ontological assumptions that went into its development. For this reason, the target of (...) interpretation is taken to be the mature theory and nothing more. On this view, positions on ontology emerge only once a theory is to hand, not as part of the process of theory building. Serious attention to theory creation suggests this is too simple. In particular, data collection and experimentation are influenced both by theory and by assumptions about the entities thought to be the target of study. Initial reasoning about possible ontologies has an influence on the choice of theoretical variables as well as on the judgments of the methodology appropriate to investigate them. (shrink)

The use of the Law of Likelihood (LL) as a general tool for assessing rival hypotheses has been criticized for its ambiguous treatment of background information. The LL endorses radically different answers depending on what information is designated as background versus evidence. I argue that once one distinguishes between two questions about evidentiary support, the ambiguity vanishes. I demonstrate this resolution by applying it to a debate over the status of the ‘fine-tuning argument’.

I introduce a thin concept of ad hoc identity -- distinct from metaphysical accounts of either relative identity or absolute identity -- and an equally thin account of concepts and their content. According to the latter minimalist view of concepts, the content of a concept has behavioral consequences, and so content can be bounded if not determined by appeal to linguistic and psychological evidence. In the case of counting practices, this evidence suggests that the number concept depends on a notion (...) of identity at least as strong as ad hoc identity. In the context of nonrelativistic QM in particular, all of the counting procedures appealed to in the existing literature on nonindividuality are shown to involve ad hoc identity. I then show that Goyal Complementarity and the associated derivation of a strong symmetrization principle in QM can be understood in terms ad hoc identity. Specifically, persistence and non-persistence models of quantum processes are seen to be complementary in the sense that they involve two relations of ad hoc identity that occasionally overlap in empirically meaningful ways. Finally, I attempt to draw out consequences for theories of nonindividuality from the above conceptual analysis. The upshot is that counting and definite cardinality are incompatible with nonindividuality, and that none of the counting procedures cited for quantum phenomena offer positive support for an interpretation in terms of nonindividuals. (shrink)

The idea that the world is made of particles — little discrete, interacting objects that compose the material bodies of everyday experience — is a durable one. Following the advent of quantum theory, the idea was revised but not abandoned. It remains manifest in the explanatory language of physics, chemistry, and molecular biology. Aside from its durability, there is good reason for the scientific realist to embrace the particle interpretation: such a view can account for the prominent epistemic fact that (...) only limited knowledge of a portion of the material universe is needed in order to make reliable predictions about that portion. Thus, particle interpretations can support an abductive argument from the epistemic facts in favor of a realist reading of physical theory. However, any particle interpretation with this property is untenable. The empirical adequacy of modern particle theories requires adoption of a postulate known as permutation invariance — the claim that interchanging the role of two particles of the same kind in a dynamical state description results in a description of the identical state. It is the central claim of this essay that PI is incompatible with any particle interpretation strong enough to account for the epistemic facts. This incompatibility extends across all physical theories. To frame and motivate the inconsistency argument, I begin by fixing the relevant notion of particle. To single out those accounts of greatest appeal to the realist, I develop the logically weakest particle ontology that entails the epistemic fact that the world is piecewise predictable, an ontology I call ‘minimal atomism’. The entire series of scientific conceptions of the particle, from Newton’s mechanically interacting corpuscles to the ‘centers of force’ in classical field theories, all comport with MA. As long as PI is left out, even quantum mechanics can be viewed this way. To assess the impact of PI on this picture, I present a framework for rigorously connecting interpretations to physical theories. In particular, I represent MA as a set of formal conditions on the models of physical theories, the mathematical structures taken to represent states of the world. I also formulate PI — originally introduced as a postulate of non-relativistic quantum mechanics — in theory independent terms. With all of these pieces in hand, I am then able to present a proof of the inconsistency of PI and MA. In the second part of the essay, I survey responses to the inconsistency result open to the scientific realist. The two most plausible approaches involve abandoning particles in one way or another. The first alternative interpretation considered takes the property bearing objects of the world to be regions of space rather than particles. In this view, the properties once attributed to particles in quantum states are attributed instead to one or more regions of space. PI no longer obtains in this case, at least not as a statement about the permutation symmetry of property bearers. Rather, the new interpretation naturally imposes an analogous constraint on quantum states. The second major approach to evading the inconsistency result is to dispense with objects altogether. This is the recommendation of so-called ‘Ontic Structural Realism’. The central OSR thesis is that structure rather than entities are the basic ontological components of the world. OSR is intended to embrace the ‘miracle’ argument in favor of scientific realism while avoiding the pessimistic meta-induction. I demonstrate that one principal motivation for OSR based on the under-determination of interpretations in QM is actually dissolved by the incompatibility result. At the same time, I suggest reasons to think that OSR fares no better with respect to the pessimistic meta-induction than traditional realism does. Thus, while PI and MA may be incompatible, object ontologies remain the best option for the realist. (shrink)